EDeleted the revisions of December 12, 2020, in the discussion of Example 1.7, (iii)