Definitions are added