abbrevs

• uninterpreted
• eclipses
• distressed
• adder
• firebombs
• confederating