Extremal-function classification conjecture. Among these formations, fw(u)=2t−1\operatorname{fw}(u)=2t-1fw(u)=2t−1 if and only if uuu is one of
