Email Record: Modern theories of higher level predicates :