adding code to tailor an assumption to each reduction