added extra assumption