the following hold for any x
x & x == x x & 00000000 == 00000000 x & 11111111 == x x | x == x x | 00000000 == x x | 11111111 == 11111111
What about
x & 00001111 == x | 00001111 ==
