Definitions and Theorems