Extended definitions.