norm_cdf ?, confusing name, as before maybe just `cdf1` as name? it's just local