Fix typo in Exercise 6.13.
Simplify formulation and change from print() to assert()
Add Exercise 6.14.
Add Exercise 5.1.
Add Exercises from Problem Set 7.