Biconditional
prop
BlacklistB
Prop
blacklist
Eval EvalOver Prop