As we nominate Donald J. Trump for president.