CDF[NormalDistribution[20,(5)],31.63769]-CDF[NormalDistribution[20,(5)],0]