isKnownToBeAPowerOfTwo: (X & Y) + Y is a power of 2 or zero if y is also.