you can make sus out of it because I don't give a clockwise integral multiset union complement left normal factor semidirect product
