sin(3*t) > 0
pi (0, --) 3
x in Interval.open(0, pi/3)
/ pi\ And|0 < t, t < --| \ 3 /
(0 < t)∧(t < pi/3)