Thu, 17 Feb 2011 21:37:52 -0800 Kevin Walker clarified what's small and what's not in the proof of the small blob lemma for BT_*
(0) -300 -100 -30 -10 -1 +1 +10 +30 +100 tip