Challenging the Gospel: Grete Hermann on von Neumann’s No-Hidden-Variables Proof