More comments in PriorityProof