unification in a single level