This part is true: the probability of a nonvacuous Stalnaker conditional is the probability of the consequent, after minimal revision of the original probability function to make the antecedent certain.