4.601 Definitions.