**Theorem C.2** (Grokking with Tail Narrowing).: _Consider a sample of size \(T\) of which a proportion \(\pi\) comes from the true distribution \(p=Zip(\beta)\) and the remainder comes from a version \(p^{\prime}=Zip(\beta^{\prime})\).