See @JohnRossBowie (Kripke from BBT) describe President Obama's 2nd inauguration today. Classic.