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.