[A reissue. With a supplement.]