How Quantum Mechanics can consistently describe the use of itself

We discuss the no-go theorem of Frauchiger and Renner based on an "extended Wigner's friend" thought experiment which is supposed to show that any single-world interpretation of quantum mechanics leads to inconsistent predictions if it is applicable on all scales. We show that no such inconsistency occurs if one considers a complete description of the physical situation. We then discuss implications of the thought experiment that have not been clearly addressed in the original paper, including a tension between relativity and nonlocal effects predicted by quantum mechanics. Our discussion applies in particular to Bohmian mechanics.