Nerode A., Shore R. A.