These were the next to last drafts (before correcting any typos).