Verifiserbarhet bør være en skalpell, ikke en hammer. Hvorfor bevise alt når bare de sensitive delene trenger kvitteringer?