More explanation about special predicates