SMS dit: Opacidad y semántica de Montague