equivalent formulation