SMS: Theories of vagueness