reformulate problem