Topology of Planning Theories