A rough attempt at the end of the example