Zaslat SMS: Undecidable theories /