A>>B = NOT(NOT(A)>>>B)