Exercises for the reader: