Attempted n-way unification