HOL-TLA-Inc