gladiators

• weighbridges
• parameterize
• uninterpreted
• Berkshire
• bullets
• starved