what is another name for formal distribution?