If Adrian Rodriguez wins the Adrian Rodriguez vs Elias Montoya Terraza boxing match originally scheduled for Jun 13, 2026, then the market resolves to Yes.