Αποστολή με SMS: Modules over valuation domains