Throwing unification