Sorry, nothing really here.
(This serves as a placeholder for a potential exercise,
which didn't make it into the book.)
