Initial commit for CNF example