Revision is not independent verification
Revision is not independent verification
INTERNAL RECURSION
the system
EXTERNAL CHECK
verdict: differs at n = 1
the system
claim
verdict
independent reference
published values, or independently derived code