Strict evaluation of exceptions.

See commits for comments.