(when (= x 25) (+ 4 8))