changed sign of Tt(kk) constraint