SMS: Contemporary logic design