Αποστολή με SMS: Reasoning with dynamic networks in practice =