All Classes
CNF
Formula
VarName