Envoyer par SMS: Journal of formalized reasoning [J Formaliz Reason] NLMUID: 101751000