since a predicate is a way of describing something that is true, another way to say this is that if one thing that is true about a variable is not true about the other variable, then they are not "equal" as far as mathematical logic is concerned: two things are only equal if anything that is true about one has to be true about the other.