[厚葬使]已经获得的财产,都拿来埋掉了;丧后本当产生的财产,又被长时间的禁止所消除。 
Sustainability is not an option; it's a necessity for the future of agriculture.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
The meaning of life is not in how much you have, but in how you face loss.