Definitions for "Derv"