problem reformulation