Rename isPowerOfTwo to isKnownToBeAPowerOfTwo.