PEPT Proof of Comment Challenge #1