chore

• Ayyubid
• papacy
• burdensome
• theorems
• destroying