Det framgick af dessa,