add assumptions