comments
predicate interpreter