That would be the assumption but then you can also kick someone for "difference of playstyle" which throws a wrench into the whole thing because I would consider "refusing to use aoes" as a "difference in playstyle". This is the issue with such a vague ToS, which of the two takes priority here? Do both apply? And what would be the GM judgement if you were reported for it?