Finished calculations apart from well-definedness of \psi.