Відправити по sms: Facilitating the transition from empirical arguments to proof