WanderPanda parent
This is one of these technologies that is indistinguishable from magic.
Doesn't this open up the way for proof of proofs as well? Maybe math is just the science that describes magic. It is indistinguishable from magic because it is magic.