21. Symmetry and effective descent

A set of solutions forgets the witnesses relating equivalent solutions. The next layer retains those witnesses, their composition, and their automorphisms. Gluing then has to respect the overlap identifications themselves.