P
Initializing...
Step (iii), per bidder: complement freeness gives Σ_r v_i(S_i^r) ≥ v_i(S_i) · Prove2Me