cnf ( M ' , ] .