If the Fed cuts 13 times starting Jan 1, 2026 and before 2027, then the market resolves to Yes.
To be clear, 25bp of cuts is equal to one cut (so 25bp cut is 1, 50bp cut is 2, 75bp cut is 3, and so on).