TLDR: "Musíme se odklonit od optimistických důkazních systémů"