Pseudo ≪\ll≪-transitivity for finite semigroups of order at most eight
Pseudo ≪\ll≪-transitivity conjecture. If