\psi=\bot.