Tag: probability distribution definition