Homework #1
Reading Formal Contract Specifications