. . . . "In other words, the Senate is not particularly likely to push hard on them unless the president makes it a priority." .