It's also right in the contract that member states who leave have two years to come to a deal that the rest of the EU will agree to before they're forcibly given the boot and all existing trade agreements torn up. The EU plans to hold the UK to that.