package up all expansion stuff in new method (expand-disj)