发送短信: Logic and discrete mathematics :