Proof Eid: Difference between revisions