Under del antagandet ,att