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

[Dylan16807]

Wrong way around. Almost all the numbers in those systems are fixed-size. There's a few types of variable width payload, but all the little ancillary types are 64 bits or whatever.