shuffling around, sev only used in proofs.