user: Is it the case that in every country, the sum of the IMF credit in the Department of Defense in 1970 and IMF credit in the Department of Defense in 1971 is greater than the IMF credit in the Department of Defense in 1972?
  Offer a terse response.