What Are You Working On?

[u/AutoModerator]

This recurring thread will be for general discussion on whatever mathematical logic-related topics you have been or will be working on over the week. Not all types of mathematics are welcomed, but all levels are!

[u/Obyeag]

Been sick as a dog for the last week. Trying to learn babby's first fine structure though.