projection now in TS.
test for equality constraints.