Jag har uttiyckligen antagit det fallet ,att