more deterministic variants and predicate variants of functions