Typing up the formulation.