non-recursive Union now working