"problem reformulation"