ROBERT E. MITCHELL JR.