#im here for theorems of course but sometimes you wanna spend a day in a blue armchair thinking about fine details