david henderson and ivor r. c. batchelor