added an assumption