Turn X-(X-Y) into Y. According to my auto-simplifier this is the most common