Envoyer par SMS: The foundations of Frege's logic /