A Tribute to John Thomas (1930-2021)