Lewis was retired, to begin with. There is no doubt whatever about that. The end of his career was witnessed by his coaches, the teammates,…