Section 2: Pre&Post Conditions; Testing; Exceptions