This was a new spoiler. I knew the spoilerette to which Kim referred (simply a fun take on one of the previews).)

The main existence theorems in calculus are the Intermediate Value Theorem, the Extreme Value Theorem, Rolle's Theorem, and the Mean Value Theorem.

Sticky-fingered customers and employees make off with $9 billion in merchandise annually.

Infrastructure: It's our roads, bridges, dams, levees, airports, power grids... basically, anything that can be destroyed in an action movie... The problem is, though, when our infrastructure is not being destroyed by robots and/or saved by Bruce Willis we tend to find it a bit boring.