equidistribution

not defined yet