add assumptions section