Definitions Short