Slide 18: Formal Assessment