Prob1 resolved