still working on set unification