Changes resulting from the UK's Brexit procedure.