Notes for the scalable commutativity rule.