debug: changed definition of Psi