So what?

• Usually my talks have some overarching theme or point

• Not this time, sorry.

• I was just tired of hearing people refer to the halting problem as NP-complete