Topology reasoning