adding functionality for multiple assumptions/reductions