cnfformula
tests
