Payments start on August 1st... they have to start paying billions of dollars...