(+ 5 (- 0 4))