What is the another name for formal distribution​