The two predicates are the same type.