Abstract: In this talk, I will explore the constructive variant of thoroughly linear modal logic (TLML) suggested by Restall (2026): constructive thoroughly linear modal logic (CTLML). I will present a hypersequent calculus for CTLML along with its sound and complete algebraic semantics. Much like the relationship between TLML and the classical modal logic S5, I will show that CTLML is exactly the thoroughly linear core of MIPC, the intuitionistic counterpart of S5. Finally, I will provide a big picture illustrating the relationship between CTLML and various mainstream (classical and intuitionistic) modal logics.