No tenemos la biografía de Felipe Restrepo.