Gary Williams on being elected for the Hall of Fame