Definitions
Sec I