Utträdet ifrågasätts dock på formella grunder .