Maximal FAn subgroup conjecture. A subgroup H⊂WH\subset WH⊂W is maximal FAn\operatorname{FA}_nFAn if and only if