posterior probability subgroup of probability, 1 assertions