In memoriam: Dorothy Cheney (1950-2018)