/t\ cot|-| > 0 \2/
cot(t/2) > 0
And(0 < t, t < pi)
(0 < t)∧(t < pi)
(0, pi)
x in Interval.open(0, pi)