find predicate now results in a sequence of states