In memory of Jack Lee (1925-2015)