pred, predicate, val