definition
Derived form