The plural form of probabilistically checkable proof is probabilistically checkable proofs.
Win Amazon gift cards by writing simple stories at Fictish, a new story writing game backed by WordHippo.