Lessons in Logic 11: Schemes of Abbreviation