SMS: Irreducible vagueness