A discrete linear order with non-dense punctual degrees. - Kai Jun Khoo; Heer Tern Koh; Keng Meng Ng (Theor. Comput. Sci., 2025)