Gartner filed his 2017 annual report and reinstated his corporation: https://ecorp.azcc.gov/BusinessSearch/BusinessInfo?entityNumber=21197297 2018 annual report is overdue but of course nobody cares.