Abstract This note draws conclusions that arise by combining two recent papers, Anuj Dawar, Erich Grädel and Wied Pakusa, published at ICALP 2019, Moritz Lichter, LICS 2021. In both the main technical results rely on combinatorial algebraic analysis of invertible-map equivalences ${\equiv ^{\text {IM}}_{k, Q}}$ certain variants Cai–Fürer–Immerman structures (CFI-structures for short). These Q}}...