Writeups and minor changes.