---- [Revised version.].