Definition:

deriving