the legend of Horace Batchelor