Efter hvad vi redan omnämnt,