make constraint names clearer