First equality predicate version.