Slutledniugen skulle väl annars vara följande: