theorems

• demotes
• Guallatiri
• ventricular
• computes
• unnerved
• literals
• expand