Deduction and Induction
22:09
+19
no edit summary
21:43
+13
Stub
21:42
+69
"Things"
+139
Stub: new section
21:38
+63