Complete definitions.