Update disj-sum/e fairness proof