[rsynnott]

May was prior to leaving the EU; even if you accept that it left in 2020 (it formally left in Jan 2020, but realistically was still part of the EU for the remainder of the year), she was already gone.