Posted: Mar 31, 2018 12:29 am
by jamest
Animavore wrote:Yes. They all have the value x = ?

The OP made clear that I'm looking for potential metaphysical value in such proofs. I do not doubt for an instant
that xyzzy = ppsedu2. I'm just wondering if there's any value in proving it.