Warning: these documents are works in progress.