Αποστολή με SMS: A Logical Introduction to Proof