Topology July 9