If the president vetoed bill, is that the end of it?