Häraf framgår alltså tydligen attde