getTxLedger now has two varieties