Calling induction 'mere habit' treats it as arbitrary pattern-matching, but it's actually a principl...
This proposition has not been edited since the history system was added.