a few more definitions for the new approach to constraints