Kolla upp vilket ord som helst, t.ex. thot:

constraint är inte definierat.
Kan du definiera det?