PEPTEvent Proof of Comment #16