Course notes – edits

May 6, 2025