Tri := {(t1,t2): t1,t2>+0,t1+t2<=1}