Regular Theory Predicates〈Volume 18〉