"J. R. Lucas"