@tao@mathstodon.xyz yeah this is the most depressing part to me