"La literatura es una forma de resistencia contra el olvido."
Innovation in fisheries must balance ecology and economy.
"Truth is not always the most comforting thing, but it is the most necessary."
形式化方法不是银弹,但它们是追求可靠系统的重要工具。