Zaslat SMS: The Logic of Computer Programming