On simplifying through subtraction http://t.co/XjWqUYBkrP