Enviar por SMS: Discovering formal logic