Una versión funcionando mal del inferidor. Agregado algún texto en el latex