Reduction rules

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