Exceptions are for exceptions

If you have like an A -> B, then you can usually count on getting a B back if you pass in an A. In this or that language, there may be exceptions to this. For example, an exception would be an exception.