lemmas

• Thermopylae
• Macaulay
• Rodrick
• Doritos
• Pound