PEPT Proof of Comment Challenge #2