SMS dit: Theories of vagueness