If any part of the United States federal government has taken a stake of Rigetti Computing before Jan 1, 2027, then the market resolves to Yes.