@CihanPostsThms Eugh, internet people! I've really enjoyed following this account, seeing some theorems I recognise and learning about new ones. Thank you!