move reduction semantics to contract management