• HTL Logic Model