Suppose n unrelated people are sampled at a codominant locus with k alleles. If Ni = ni genes of allele type i are counted, and if a Dirichlet prior is assumed with parameters α1,...,αk, then we have seen that the allele frequency vector p = (p1,...,pk)t has a posterior Dirichlet