felt pessimistic, might delete later. that’s right, here’s another thread on the pessimistic proof for your fine tuesday.