more formally test with distributions as defined in the Distributions package