Derivative contracts definition