I answered three of those where I didn't have to think too hard to follow the reasoning. It would be nice to have the answers eventually after the experiment is

I answered three of those where I didn't have to think too hard to follow the reasoning. It would be nice to have the answers eventually after the experiment is over. One of my theories so far is those computer-generated proofs don't use triple equalities (e.g. "a = b = c") even though it makes a better explanation in certain limited situations.