There's really no added value with this message. The name of the exception should be sufficient. The expression can only be false if this fails. Same for checkState.