If legislation that renames Washington Dulles International Airport after Donald Trump has become law before Jan 1, 2027, then the market resolves to Yes. An example of this is H.R. 691 (119th). The bill must pass the full chamber (not just committee) for House or Senate passage. For "become law" markets, the bill must be signed by the President or become law through veto override. Presidential pocket vetoes that expire resolve to No. Joint resolutions are treated as bills. Treaties require two-thirds Senate approval for passage. The market resolves based on the first occurrence of the specified milestone. This market will close and expire early if the event occurs.