Thank you all for a great semester!  I can have office hours if you like over the next few days.  I’ll be on discord at the usual Tuesday 1-2 pm slot tomorrow.