These informal notes were originally not intended for publication and will be modified as soon as possible.
