Right, and I seem to remember this sort of point in Wittgenstein as well in his rule-following argument where, to make an adjustment to his question, what would it mean for a computer to be miscomputing other than bucking our expectations for what a system should produce; all computers clearly are performing exactly as our physics describe them, even if they produce 2 * 2 = 5 on a screen.