P2 is false: QM does not imply value definiteness; orthodox Copenhagen interpretations deny that unm...