These notes are now obsolete