finidhed predicates