Notes by edplantinga | export