Unrevised, although well-behaving draft.