Αποστολή με SMS: Algebra of proofs /