 Yes, he has. I know sometimes you don't get a lot of updates or reports, but I want to ask you about three guys in the minor leagues who are more or less working their way back. A.J. Smith-Shauver reportedly had a pretty good outing or two in his work trying to come back. Ian Anderson, the reports are good. And also a young man we haven't seen before, J.R. Ritchie, that we've heard a lot about coming back from Tommy John surgery. Have you heard anything about those three guys recently? No.