> Here's a machine that verifies 95% of calculations

Which 95% did it get right?