Theories and Definitions