我认为数学家更像艺术家，而不是科学家。
"I think that mathematicians are much more like artists than they are like scientists."
The true cost of overfishing isn't measured in dollars, but in empty nets and broken communities.
The best way to cheer yourself up is to try to cheer somebody else up.
模型检查是验证有限状态并发系统正确性的强大技术。
结束种族主义的唯一方法就是停止谈论它。
Transparency in aquaculture practices builds trust with consumers and stakeholders.