Probable Approximate Correctness (PAC)

(next)