Lexicographic_order_topology_on_the_unit_square loading ...