SMS dit: Lógica de primer orden