Separate definitions.