DERIVER

Definition of DERIVER