⁶⁸as well as in his proof that hidden variables cannot exist in QT