[...] It's very hard for either A or B to reason about the correctness of that last step because it's such a big change. On the other hand, rebasing B's changes on top of A's looks like this:A1 -> A2 -> .... -> An -> B1' -> B2' -> .... -> Bm'Then B can go through their rebased changes and use pretty much the same reasoning as they were using before to check that they're still correct.