(if (+ x 5) 1 (+ y 7))