Von Neumann–Wigner interpretation