until an automated theorem prover can be made to certify these transformations as valid, a person has to do this work manually. this is particularly true in this specific instance since an enormous, alien framework has been erected to set up what defines a valid transformation within it.<p>on point [1], though i suppose mathematical proofs don&#x27;t quite align with this characterization.<p>[1] <a href="https:&#x2F;&#x2F;www.quora.com&#x2F;Is-it-possible-to-have-a-world-without-an-observer" rel="nofollow">https:&#x2F;&#x2F;www.quora.com&#x2F;Is-it-possible-to-have-a-world-without...</a>