This is where we write a neat headline. (The 2018 Ohio gubernatorial election will take place on November 6, 2018)