There are only two hard things in Computer Science: cache invalidation and naming things.<p>-- Phil Karlton<p>I wonder if naming things is also tied in some way to the CAP theorem, or some other "difficult" tradeoff or mathemtically-hard thing.