"In fact, if the error is an exceptional circumstance (i.e., something he is not part of the regular control flow but rather something indicating a data or logic error), it might make sense to move the exception inside VerifySomeStuff:" . . . . .