commutativity tagslist