restated

• introduce
• winos
• Snell
• perfunctorily
• Hughes