There’s an elegance to how the Feds just got out of funding this stuff and within a year all proofs were solved by the private sector
I know, unrelated truths and coincidental timelines, part of me giggles nonetheless since the whole belief system behind the market relies on infinite coincidences