completed single constraint with tests