remark 1+n=n+1 is not judgmental
clarify exercises 5.2 and 5.3, close #639
errata for bd29d77
Merge pull request #642 from mikeshulman/recurrence

close #639