Proposed Verification

Bounded probability envelopes