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