implement 'x-(x&y) => x & ~y' localopt