Sammanlägger man allt det här anförda,