He has not pitched in the majors since 2012 .
My understanding is that he has not yet retired either .
He has not pitched in the majors since 2012 , but my understanding is that he has not yet retired either .