I forgot to change the code for Not. Will do that in next PR. Just check the method used in Or and And. Gives And(2, A) = A and Or(2, 3) = True on my machine.