In memoriam: Jack Mitchell