A unifying theory of exactness of linear penalty functions. (2nd June 2016)