“What if they at some stage did not lead to the same
result”—. “That is impossible, we couldn't imagine their not leading to the same result.” But then the proof of their leading to the same result showed us what it was like to lead to the same result.