Gaussian CDF is Phi, not PSi, in consensus reality