This one might remind you of Example 1.4.6