[schoen]

Heh, in deduction systems there is something called proof erasure, I believe asserting that any two proofs of the same proposition are equal. Maybe your mind's inference is working on something like a proof erasure principle? :-)

[robertlagrant]

Well, that sounds good! I was previously riding high on coming out of Mayers-Briggs with a personality type that sounds like some sort of all-knowing robot god. Proof erasure principle sounds like an excellent followup (-: