Up to Exercise 1.11