Zaslat SMS: Berkeley papers in formal linguistics