clarified definition of ceval