Completed Problem formulation
Partly completed background.