added prjection info to cnf