Man må antaga ,att