Häraf framgår alltså , attIfi