PEPT Proof of Comment Event #7