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