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