PEPT Proof of Comment Challenge #5