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 thi

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. on point [1], though i suppose mathematical proofs don't quite align with this characterization. [1] https://www.quora.com/Is-it-possible-to-have-a-world-without-an-observer https://www.quora.com/Is-it-possible-to-have-a-world-without...