edited by Philip Ledger.