Det synes alltså troligt,