could you add the math here? the cdf has a closed form integral expression