This one might remind you of
Example 1.4.6