reducing the matching constraint