Probable approximate correctness [001I]