Same comparison lane: algorithms that remain valid when the quantities being multiplied need not commute (ab may differ from ba), so the recipe can be used recursively on matrix blocks. In this lane, ...