theorems

• invocation
• Eugenia
• coattails
• independents
• subtlest