And I think the American people look to the leaders to lead. They look to the leaders to take on the big problems. And the president deserves a lot of credit for doing that.