I agree with this statement (depending on how you interpret &quot;change&quot;: if the world was different we may have been lead to prove <i>different</i> theorems), and nothing I&#x27;ve said previously contradicts it.