Han måste således hafva varitaf