Start adding CNF