Tue, 07 Oct 2014 18:43:29 +0100 fahadausaf lemma
Tue, 07 Oct 2014 16:17:23 +0100 Christian Urban added type information to produce the expected result with value
(0) -10 -2 +2 +10 +30 +100 +300 tip