Kant's Multiplication — LessWrong