Αποστολή με SMS: Facilitating the transition from empirical arguments to proof