Why cut funding? Just raise the debt ceiling.