tldr: “we moeten weg van optimistische bewijs systemen”