Let the domain of discourse be the set of all integers $\mathbb{Z}$. Consider the three-variable predicate $P(x, y, z) \iff x + y = z$. Which of the following first-order logic sentences is FALSE in this domain?