The only failure point here would be confusing proof with creation. I appreciated your emphasis that equivalence is discovered, not invented; this helps avoid many confusions in our assessments.