(int -2 to x (-t+3))