/self-reference
/theorem I
/theorem II
/theorem III
/curriculum vitae
/litteræ testimoniales
∅
∞
∀
∃