renaming probs solved