As the United States celebrates Presidents' Day, it's a good time to mull over how we ended up calling the national leader "president" in the first place. Executive editor Ben Zimmer spoke to NPR's All Things Considered about the term's history.
You can listen to the audio and read NPR's writeup here.