Comments in PriorityProof