Today was quite bad on the mental health front. Spring has long been the worst season for me. I was able to make myself do something, though. I spent about an hour watching math videos, including a pleasing intro to the concept of compactness by a YouTuber called Morphocular.