Då torde man hafva tänkt så här: