And here I thought it was simply about a system of equations solving down to a single solution (decidable).

As opposed to having too many free variables.