(1 -> 0 & 1) & 1