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

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