Biconditional
nyaya
BlacklistB
Prop
blacklist
Eval
EvalOver
Prop