 If two proofs prove the same proposition, says Wittgenstein, this means that “both demonstrate it as a suitable instrument for the same purpose”, which “is an allusion to something outside mathematics” (RFM VII, §10, 1941; italics added).