Talk:Formal distribution