Teach basicaa that x|c == x+c when the c bits of x are clear. This