task 2: re-formulation