CDF[NormalDistribution[0, 1], -0.378574]