Oración 1: no se utilizan las dependencias atemporales de las transacciones, por lo cual la propiedad dependen- cies se omitió en la implementación de la clase
Oración 2: debido a la cadena de validaciones y smart contracts implementados, como se explica en la sección 5.3.4, sobre las validaciones del sistema
Conector: esto es
Relación: entailment
Género: theses