Yeah I think this is actually pretty important. I wonder whether associativity of unrelated changes generalizes to other git problems?