Tue, 02 Aug 2011 15:27:37 +0000 urbanc a version of the proof which dispenses with the notion of string-subtraction
(0) -100 -30 -10 -1 +1 +10 +30 +100 tip