PEPTEvent Proof of Comment #15