Enviar por SMS: Automated deduction, CADE-11 :