"Friday the 13th really has lived up to its hype," an EU diplomat texted me this morning. The same diplomat who mournfully noted as soon as the first exit polls were published: "This means bye-bye to our British friends." There was a heaviness of heart about Europe's leaders as they gathered in Brussels for the second day of an EU summit. They have never hidden their sadness at the UK vote to leave. But at the same time there was a distinct sense of European relief. Dutch Prime Minister Mark Rutte noted the election result meant "on the British side they can speed up the process (of Brexit)". Three years of Brexit uncertainty has been corrosive - not just in the UK, but in the EU too. It has overshadowed the workings of the bloc and been costly for European business. EU leaders' sigh of relief at a comfortable majority for Boris Johnson has nothing to do with their political affiliations and a lot to do with "getting Brexit done", as the prime minister has so loved to repeat on a loop. Except that - as Brussels is all too aware - Mr Johnson's intention to ratify the Brexit divorce deal in parliament next month, legally ending the UK's EU membership, only means getting Phase One of Brexit done.