Slide 11 Part II Concepts Slide 2 2 The structure of a design proof l A proof is a pyramid –Bricks are assertions, models, etc… –Each assertion rests on lower-level…