Exceptions and consistency checking 2