CNF: A FOOL FOR A WHILE