working on commutativity analysis.