"J. J. C. Smart"