All tagged CNF