Automorphism-detection conjecture. If MMM is not free, then MMM cannot be fixed by all algebra automorphisms of AAA.
