RFK Jr. out as HHS Secretary?

Before Jan 2029 If Robert F. Kennedy Jr. leaves as HHS Secretary before X 1, Y then the market resolves to Yes. Robert F. Kennedy Jr. must have an actual departure date and vacate the role within the time period. Temporary leaves of absence, suspensions, or recusals do not constitute leaving, resigning from, or retiring from the role unless the individual formally and permanently ceases to hold the position. If the person vacates the role and then re-occupies the role, the contract shall settle