Zaslat SMS: Logic design theory