Finished before problem formulation.