Exercises from 1.3.4