unifying domains (step 1)