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