added equality constraint