prior probability subgroup of probability, 3 assertions