A Consistent Approach to Modeling Quantum Observers.

A number of no-go theorems have shown that Wigner's Friend scenarios combined with various metaphysical assumptions lead to contradictions in any version of quantum theory. We present an alternative constructive approach that only assumes that agents make properly qualified true statements. Quantum observers are modeled rigorously, although simplistically, using quantum circuits. Terminology is suggested to help avoid contradictions. Our methodology is applied to the Frauchiger-Renner paradox and results in statements by all agents that are both true and consistent. Quantum theory evades the no-go theorems because they make an incorrect implicit assumption about how quantum agents behave.