In recent works, Časlav Brukner and Jacques Pienaar have raised interesting objections to the relational interpretation of quantum mechanics. We answer these objections in detail and show that, far from questioning the viability of the interpretation, they sharpen and clarify it.
Relational Quantum Mechanics (RQM) claims to be an interpretation of quantum theory \cite{Rovelli.21}. However, there are significant departures from quantum theory: (i) in RQM measurement outcomes arise from interactions which entangle a system S and an observer A without decoherence, and (ii) such an outcome is a "fact" relative to the observer A , but it is not a fact relative to another observer B who has not interacted with S or A during the foregoing measurement process. For B the system S⊗A remains entangled. We derive a GHZ-like contradiction showing that relative facts described by these statements are incompatible with quantum theory. Hence Relational Quantum Mechanics should not be considered an interpretation of quantum theory, according to a criterion for interpretations that we have introduced. The criterion states that whenever an interpretation introduces a notion of outcomes, these outcomes, whatever they are, must follow the probability distribution specified by the Born rule.