IF one thing, X, is not equal to another thing, Y, then Y is void.