Exceptions and consistency checking