Sorites-like reasoning shows: if one grain doesn't make a heap, then n+1 grains don't either, yet pi...
This proposition has not been edited since the history system was added.