Added definition-of