There's no reason an exception to that business logic isn't part of the system (and we have no way to verify/prove one way or the other).