But a UK decision to leave, should it come to that, would initiate a painful and complicated process of negotiating an exit and agreeing on some sort of new relationship. There would be no attractive options, and the result – regardless of how much goodwill both sides bring to the talks – would leave both the UK and the EU visibly diminished, not least on the world stage.