Exceptions and assertions