Zelent, D. On Traczyk’s BCK-Sequences. Ann. Univ. Paedagog. Crac. Stud. Math. 2022, 21, 43-49.