adding assumption