Men nu måste man antaga ,att