So the president can wage war without the Congress, but it can't officially rename the department that supports these wars autocratically. That's interesting.