In order to ask oneself whether effective priestly service is at hand, one must look to see whether an unpriestly or antipriestly service is being performed, even among many conventional priestly activities.

Inside classrooms and lecture theatres, all signage is in English, as is the signage in the staff office blocks. There were only three exceptions to this complete predominance of English.

There thou maiſt braine him,

It is true that the absence of proper classes in ZF is sometimes awkward. It is also true that adding proper classes in the usual ways (either predicative classes as in Gödel—Bernays, or impredicative ones as in Morse-Kelley is conceptually unsettling: in each case (and especially in the more convenient Morse-Kelley case) they look too much like just another level of sets, and the fact that there is no entity that captures the extension of predicates true of proper classes suggests the introduction of still further entities (super-classes that can have proper classes as members), and so on ad infinitum.