Consider the propositional function $P(x, y)$ defined as '$x + y = 10$' where the domain for $x$ and $y$ is the set of positive integers $\mathbb{Z}^+$. Which of the following quantified statements is true?