Added equal-predicate.dk