NOT A and B