razonamientos seguidos, puesto que ayudan a formalizar