Gerald Stone — British linguist (1932-2021)