Well, we can't use 1=4, because that would resolve to false.