What if the UK leaves the European Union? Or... To Brixit, or not to Brixit?