Häraf skulle alltså framgå,