SMS: La lógica de Lipman /