Distributions maintained by BOBPP