SMS: Opacidad y semántica de Montague