Comment by hcarvalhoalves

I believe "ledger" implies commutative property (order does not matter).