$(\mathbb{Z}/2^k\mathbb{Z})$* is cyclic for every k

The object that kills this claim comes with Trap Analysis.

86 counterexamples are free — including most of the ones Part C leans on hardest.