(+ (:= a b) c)