Changes

no edit summary
A discrete defined distribution