Andrews-Curtis correctd, improved formatting for presenations, finite distributions