This note is a work in progress.