predicate matcher algo added: base 2