A tribute to Vern Varenhorst