Αποστολή με SMS: Προσθήκη βιβλιοθήκης στρατηγικών ελέγχου σε ένα γενικευμένο αποδείκτη θεωρημάτων