On: When are two proofs essentially the same? (2007)

[gus_massa]

Yep.

If you can go from A to C by B or B' and all the place is a nice grass field they are probably equivalent.

But if between B anb B' there is an active vocano, most people would call the paths different.