Det framgick nemligen af dem,