Αποστολή με SMS: Theory Reasoning in Connection Calculi