Exercise 3.5.2 Let in spec