Slide 1ANNATALA WOLF – 2231 LECTURE 1 Reading Mathematical Contracts Slide 2 Contracts (specs) ≠ Code! It’s easy to get contracts and code confused because we use a…