Amoco

• quantifiers
• crusaders
• Nimitz
• unloosening
• quorum