Yes I was talking about unification. When you can expand what unification means and program how it works, you have a real constraint system.