Talk:PlanetPhysics/Fully Faithful Functor 2