Biconditional
nyaya
BlacklistB
Prop
blacklist
Eval EvalOver Prop