SMS dit: Kant's solution for verification in metaphysics