Factsheets based on John Borrows's work