Ein einfacheres, aber verwandtes Problem ist die Beweisüberprüfung, wo für einen gegebenen formalen Beweis nachgeprüft wird, ob er ein gegebenes Theorem tatsächlich beweist.
Außerdem sind auf der Rückseite der Puzzleteile Nummern aufgelistet, damit man zur Not auch nachprüfen kann, ob man die Puzzleteile richtig geordnet hat.
Aus der Garantie effektiven Rechtsschutzes folgt grundsätzlich die Pflicht der Gerichte, die angefochtenen Verwaltungsakte in rechtlicher und tatsächlicher Hinsicht vollständig nachzuprüfen.
