Jack Horkheimer Sandy and John Batchelor