normalcdf (-13000, -3.282, 0, 1)