(- 0 1)