Assertion and precondition

Leave a Reply