RICHARD J. DEVLIN