add assumptions post