SMS dit: La logica simbolica.