Entonces, φ no puede verificar ni la proposición «el espín en la dirección de "y" es positivo» ni la proposición «el espín en la dirección de "y" es negativo».