https://thelogictutorial.blogspot.com/2024/05/permutation-and-symmetric-groups.html