[added symbols for distribution convergence]