Brexit: What If?

What happens if the UK voters decide on June 23, 2016 to leave the European Union?