Distributions maintained by JJVENS