Bruce Bullock 1922-2018