Search: Suppose that INT{pi to t}