(- (- 1 2) 3)