disj-sum pict