Distributions maintained by AHOSEY