Computing Assumption-Lean Bounds for Per-Protocol Effects | AMiner