Comment CNF example that fails with CNF