update

docs/pages/digital_physics.mdx

@@ -29,7 +29,7 @@ Smart contracts transform the internet from a mere data transmission network bet
   <br/>
   <p>Programs are granted autonomy when the internet itself becomes a stateful, programmable entity, not reliant on any specific computer or person in the network. As a result, programs become first-class citizens that can coordinate behavior at massive scales by themselves.</p>
   <br/>
-  <p>A wild-west, but telling, example is banking versus bitcoin. If you pass away or forget your banking password, the bank can recover your funds by overriding the program. In contract, Bitcoin is an autonomous program that nobody can override. Losing your private key means losing your funds.</p>
+  <p>A wild-west, but telling, example is banking versus bitcoin. If you pass away or forget your banking password, the bank can recover your funds by overriding the program. In contrast, Bitcoin is an autonomous program that nobody can override. Losing your private key means losing your funds.</p>
 </details>
 
 In doing so, they unlock the possibility for anyone to create **programs which grant human-defined rules the properties of physics: ownerless, ever-present parts of reality coordinating behavior at massive scale.**