More definitions.