(:= y (+ (- 0 1) 2))