ZoneID does not form a monoid.