How cool is Obama? How cool is Lin-Manuel Miranda? How cool is Alexander Hamilton?