We should then reconsider what we call UserException and what not.