subtraction moved up to Invertable