Symmetry
https://jack-vanlightly.com/blog/2024/12/5/an-introduction-to-symmetry-in-tla