Envoyer par SMS: Topos quantum logic and mixed states