Talk:PlanetPhysics/Analytics and Formal Logics