thomas_distributions
