disj-sum/e fairness description

Should some of this be in section 2?