Gary Williams is a first-ballot Hall of Famer