reformulated the problem