SMS: Elementary logic