minus sign in def of psi0... I'm confused