Prob31 solved