I detta senare fall hafva,