Zaslat SMS: Logical construction of programs /