Hint 1.4.13.1.

This one might remind you of Example 1.4.6

in-context