s/cnf/conj