 As these axiomatizations illustrate, the fact that (LIN) does not suffice to guarantee connectedness in the strict sense or the fact that irreflexivity is not definable in TL do not constitute any severe limitations here: connectedness and irreflexivity do not yield any new validities.