pushing last edits from today's class notes