The problem isn’t the proofs, it’s proper attribution.