Displayed disjoint ADT. Neet do get unions to display correctly