Thu, 15 May 2014 16:02:44 +0100 Christian Urban simplified the cp_rec proof
(0) -30 -10 -1 +1 +10 +30 +100 tip