Text this: Modern theories of higher level predicates :