Kant's solution for verification in metaphysics - D. P. Dryer (George allen & Unwin, 1966)
AST C1/stoc2, c.1