Mon, 01 Feb 2016 22:30:27 +0000 Christian Urban extended all proofs that worked before to the Star case...required a stronger notion of non-problematic values |=
(0) -30 -10 -1 +1 +10 +30 +100 +300 tip