Introduction to Definitions and Consequences