This question is about logical complexity of sentences in third order arithmetic.  See [here](https://en.wikipedia.org/wiki/Arithmetical_hierarchy) for the basic concepts.

Recall that the Continuum Hypothesis is a $\Sigma^2_1$ sentence.  Furthermore (loosely speaking) it can't be reduced to a $\Pi^2_1$ sentence, as stated [here](https://mathoverflow.net/a/218649/170446).

Is there an example of a $\Sigma^2_2$ sentence with no known reduction to a $\Pi^2_2$ sentence?  (Equivalently, a $\Pi^2_2$ sentence with no known reduction to a $\Sigma^2_2$ sentence.)  I mean that there should be no known reduction even under large cardinal assumptions.

I'd prefer an example that's either famous or easy to state.  But to begin, any example will do.