Can we actually enforce the opposite for exceptions?