11.2 Hello World! Pt.2-Contract Constraints