@mcc this can be easily proven by applying the Abelian-non-Abelian classifier to all of them. Or, alternatively, it can be derived from the second axiom of Abelian logic, which explicitly states that everything is Abelian unless proven otherwise.