___ cos(t) < \/ 2
cos(t) < sqrt(2)
And(-oo < x, x < oo)
(-oo < x)∧(x < oo)
(-oo, oo)
x in Interval(-oo, oo)