SMS: Logic and arithmetic :