AddOp and MulOp specs