Esto implica que la transacción debe ser un programa correcto.