I am not going to give way just now, if the right hon. Gentleman does not mind.
In relation to Scottish exports, new figures published by the think-tank Centre for Cities last weekend show just how vital the EU single market is for Scotland’s four largest cities. Exports to the EU from Aberdeen, Dundee, Edinburgh and Glasgow alone total nearly £7 billion. The report also stated that 61% of Aberdeen’s exports go to the EU, which shows the importance of that export market to Scotland. It is also essential to maintain Scotland’s skilled workforce.