Zaslat SMS: Indeterminacy by underspecification