nt^n en v cnf .. 1 UofalJ.