Tommy Barnett: 1936-2022