I'm reading the first link and I see language like "83 percent," "50 percent funded," and "unfunded by $86.6 billion." Are you interpreting treis' comment as "hasn't made any of the payments?" Because I read it as, "hasn't made all of the payments," which seems accurate.