Substraction implemented