(:= x 1)