Michael Phelps has already come out of retirement once, so despite saying that his triumphant showing in the Rio de Janeiro Games allowed him to “close the door” on swimming, would it be any surprise to see him competing in the 2020 Games?

Probably not. But as of now, Phelps is official retired after filing paperwork that removes his name from the U.S. drug-testing program. That makes the 31-year-old ineligible for any high-level competition and typically serves as the official end to an athlete’s career.

Phelps told Nick Zaccardi of NBC Sports on Monday that what sealed his decision to finally hang up his goggles was something to which even we mere mortals can relate: He was sick of all the paperwork. Athletes at his level must constantly file updates on their movements, so that drug-testers know where to find them at a moment’s notice.

He added, “I’m still in the pool (recreationally). I’m still not coming back.”

Of course, Phelps said similar things following the 2012 London Games.

— From wire reports