Biconditional

prop

BlacklistB

Prop_TempHack

blacklist

Eval EvalOver Prop_TempHack