Oh, sure, it's just that "checking the equations were the same" is a highly nontrivial task. E.g. both of these are different ways to write Maxwell's equations:pedromvilar wrote:She quickly verified that the equations were the same often enough that it was very unlikely there would be any actual differences, she just wanted a bit more confirmatory evidence that this was the same universe and mostly expects that most variations in cosmological constants would probably end up with vastly different universes.

The only symbols they have in common are '0', 'J', and '=' (and the 0 and J mean different things in the two equations!). Showing that they're the same is an involved task which requires actually understanding the definitions of all of the symbols, which would take a lot of time to unpack even knowing the concepts you're looking for. And this is an 'easy' example because I picked two versions which are valid in the same regime and are actually written with the same number of equations; I could have picked the QED Lagrangian or the four integral form equations, or even just written out the components of the vectors separately, and it would need even more unpacking.