(untitled). . tlt logics