(:= x (- 0 10))