+ class, + correct head of cnf