finished continuity, modulo uniqueness and Helly