Zaslat SMS: Vagueness and intuitionistic logic