Talk:PlanetPhysics/Quantum Logic Topoi