Added display predicate