Distributions maintained by DDMITOV