Remark 7.35.
The self-duality used in the proof is also the reason that universal \(!\)-descent implies universal \(*\)-descent. It is important here that descent is required after every base change: this makes the class compatible with composition of spans.