Please accept my present, which has been brought to you, for God has favored me, and I have plenty.

求你收下我带来给你的礼物，因为神恩待我，使我充足。

耶鲁公开课 - 旧约导论课程节选

In some sense, strictly speaking they shouldn't be necessary because the fact that my specification starts with an assumption, says, hey you, who might call square root make sure that the things you call me with obey the assumption.

在某种意义上严格的来讲,它们不是必要的,因为我已经对假设做了声明,也就是说，如果你要调用我的，求平方根的函数,请确保你传递给我的,参数满足假设条件。

麻省理工公开课 - 计算机科学及编程导论课程节选