If the president vetoes a bill—