Obituary: John R. Lawrence, 92