Lesson 3: Static analysis of a solid model