Intermediate problem formulation commit