诗歌是人类存在的唯一具体证明。
La poesía es la única prueba concreta de la existencia del hombre.
NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。
"El humor es una herramienta poderosa para hablar de las cosas serias."