theorems

• coachman
• derrick
• Ursula
• monopolistic
• slouch