I had to read it a few times too, I'm still not entirely convinced that "being able to reason mathematically about independent distributed systems was a unique application of a ledger" actually parses into anything.

Is 'being able to reason' an 'application of a' ?

It looks... off