I think that the most important thing is to be honest with yourself and with your audience.
击败竞争对手的唯一方法是停止试图击败竞争对手。
The future of computing lies in the development of systems that can verify their own correctness.