Distributions maintained by PETERG