Så måtte det vara,