Prob reduction is complete