It's fine to leave some things as an exercise to the reader. We readers can use the exercise.