graveyard

• Rosario
• Terri
• circumscribed
• counterexample
• lemma