TLDR: "Meidän on siirryttävä pois optimistisista todistejärjestelmistä"