EDeleted the revisions of December 12, 2020, in the discussion of the "switching property" in \S 3.1, (iii)