Reduction rules
some kind of cop => a cop a program that measures stuff => a program