Added definitions.