complete problem formulation