他不爱我,他爱的是关于我的想法。
预测未来的最好方式就是创造未来。
程序测试可以用来显示错误的存在,但绝不能显示它们的不存在!