Modern theories of higher level predicates | lit.salon