Exercises from section 1.2.3