If the U.S. Department of the Treasury announces that the United States Federal Government failed to make a scheduled payment on a Treasury note, bond, or bill; or that one of the three major credit ratings agencies designate any United States debt in any form of default, before 2027, then the market resolves to Yes.