prove
!
&&
==
Helper_!
Implies
Xor
NotIn
prove2
In
prove3
In
prove4
In
prove5
In
proveLeft
||
proveRight
||