Exercises from 5.6