Adding new definitions, and one correction.