reducing constraints