He explains how geographical features on Mars are named, and why “Mount Sharp”–near where NASA’s rover Curiosity landed this week– is not an official moniker.