The deepest insights in mathematics often come from the most abstract theories.
If you can't mine it safely, you shouldn't mine it at all.
我们用来探测系外行星的工具在不断进化,突破了我们认为可能的界限。