Überprüfbarkeit sollte ein Skalpell und kein Hammer sein. Warum alles beweisen, wenn nur die sensiblen Teile Belege benötigen?