(- 1 (- 0 3))