Did anyone see him being officially discharged? Just asking.