Before revision: redirect principle of explosion category:philosophical argumen
After revision: #Proofredirect principle of explosion category:philosophical argumen