https://mingredbestcheapprice.blogspot.com/2023/12/semantics-of-generating-symmetric.html