»Everywhere they looked (and they looked in a lot of places)

The proof is in the pudding: computers have validated Dr Thomas Hales' proof of (also known for Sir Walter Raleigh, who demanded an estimate of the cannonballs in a yay-high stack). He didn't call it face-centered cubic packing, and probably the grocers down by the corner store didn't either, but now we're closer to agreeing on the proof.


... the proof that the grocers have been right all along, and we can't even get a computer to prove it within twenty years.