Not raising the debt ceiling is not an automatic trigger for a default.