Since The team axioms are so general, They are really especially valuable in setting up much more challenging algebraic structures. This is often done by including any range of further axioms, the most essential of which happens to be as follows. For me as instructor the guide was very apparent, https://x.com/Anumhsite/status/1838204199173341380