Some definitions.