If exactly 6 justices vote in favor of the petitioner in Trump v. Slaughter, then the market resolves to Yes.