Why do we need to return psi here?