(- 2 (- 0 1))