So what is the debt ceiling?