SMS: Adversarial case-making