then the procedure assumes that the proportion of the population in the sample is very small, and it does not include a finite population correction in the computations. The following SAS statements ...