Part A. Definitions