Talk:PlanetPhysics/Homotopy Double Groupoid 2