Take the question of how much of UK trade is with the EU.