@chapter The design of Ledger