non-leakage probability