Ledger written in EFL