Biconditional
prop
BlacklistB
Prop
blacklist
Eval
EvalOver
Prop