RICARDO PINTO DE CARVALHO JR.