added maximinimizer? predicate