Men allt detta , som vi nu framhållit,