add enum support
Propositional Logic