basic rules of subtraction - Search