"John R. L. Allen"