Adding criteria for Definitions