Talk:PlanetPhysics/Higher Dimensional Algebra 2