Added setSubtract to setImpl theory