PEPT Proof of Comment Event #6