cos(t/2) > 0