theorems

• proposes
• reenlisting
• Austronesian
• Issachar
• visaing
• enumerations