This is an example of E (exercise) in ROPES.