\def\uKTG{{\mathit u\!K\!T\!G}}
\def\uT{{\mathit u\!T}}
\def\uTT{{\mathit u\!TT}}
\def\wTF{{\mathit w\!T\!F^o}}
\def\uPB{{\mathit u\!P\!a\!B}}
\def\bbN{{\mathbb N}}
\def\bbQ{{\mathbb Q}}
\def\bbR{{\mathbb R}}
\def\bbZ{{\mathbb Z}}
\def\calA{{\mathcal A}}
\def\calB{{\mathcal B}}
\def\sKTG{{\mathit s\!K\!T\!G}}
\def\wTFe{{\widetilde{\mathit w\!T\!F}}}
\def\wTFo{{\mathit w\!T\!F^o}}

\def\attr{\operatorname{\mathfrak{tr}}}
\def\lie{\operatorname{\mathfrak{lie}}}
\def\der{\operatorname{\mathfrak{der}}}
\def\sder{\operatorname{\mathfrak{sder}}}
\def\tder{\operatorname{\mathfrak{tder}}}
\def\TAut{\operatorname{TAut}}
\def\SAut{\operatorname{SAut}}

\def\bbN{{\mathbb N}}
\def\bbQ{{\mathbb Q}}
\def\bbR{{\mathbb R}}
\def\bbZ{{\mathbb Z}}
\def\calA{{\mathcal A}}
\def\calB{{\mathcal B}}
\def\calAcf{{\mathcal A}^\text{\it cf}}
%\def\calAar{{\vec{\mathcal A}}}
\def\calC{{\mathcal C}}
\def\calD{{\mathcal D}}
\def\calF{{\mathcal F}}
\def\calG{{\mathcal G}}
\def\calI{{\mathcal I}}
\def\calK{{\mathcal K}}
\def\calL{{\mathcal L}}
\def\calO{{\mathcal O}}
\def\calP{{\mathcal P}}
\def\calR{{\mathcal R}}
\def\calS{{\mathcal S}}
\def\calT{{\mathcal T}}
\def\calU{{\mathcal U}}
\def\fraka{{\mathfrak a}}
\def\frakg{{\mathfrak g}}
\def\tilE{{\tilde{E}}}

\def\cl{\operatorname{cl}}
\def\CA{\operatorname{CA}}
\def\PA{\operatorname{PA}}
\def\proj{{\operatorname{proj}\,}}

\def\aft{{\overrightarrow{4T}}}
\def\aAS{{\overrightarrow{AS}}}
\def\aSTU{{\overrightarrow{STU}}}
\def\aIHX{{\overrightarrow{IHX}}}
\def\Rs{{R$1^{\!s}$}}

\def\wko{{\cite{Bar-NatanDancso:WKO2}}}