no constrains formalism