Have we left the EU yet?