premise: However, the Army did mail McCollum his discharge in 2001, and <hypo> if he'd called Army Human Resources Command, as all reserves are required to do once a year.
hypothesis: <hypo> should be "McCollum would have learned about it"