Distributions maintained by tnt