Trabajando con las declaraciones anteriores: