PEPT Proof of Comment Event #8