Original: Probabilistically checkable proof ( complexity ) , a notion in the theory of computational complexity
Simplified: Probabilistically checkable proof , a notion in the theory of computational complexity