uninterpreted

• inhere
• contaminated
• validating
• moves
• competitively
• modeling