handle undecided predicate