Distinguishing between 'learning' and 'discovering implications' matters; finding what follows from ...
This proposition has not been edited since the history system was added.