More work on Definitions