能源安全是国家发展的重要保障，我们必须加大科技创新力度，提升油气勘探开发效率。

I’m not a guy that’s going to back down from a challenge.

In computational complexity, we are not just dealing with the limits of what we can compute, but also with the limits of what we can prove.

这只狗叫桑迪。我喜欢桑迪。它不聪明，但非常快乐。