'Objects are expected to be commutative unless otherwise stated'

@staticmethod
def Symbol(expr, assumptions):

    assumps = conjuncts(assumptions)
    if (expr.is_commutative is not None):
        return (expr.is_commutative and (not ((~ Q.commutative(expr)) in assumps)))
    if (Q.commutative(expr) in assumps):
        return True
    elif ((~ Q.commutative(expr)) in assumps):
        return False
    return True
