Man skulle då hafva funnit,