Αποστολή με SMS: Mechanizing hypothesis formation :