SolveIt comments on Kant’s Multiplication