Though we encounter different ideas, we cannot own two proofs