现在的软/硬件设计方法是什么？为什么形式逻辑是革命性的？
==> this is the problem I want to raise.
I don't think researchers in China really know/understand this. most professors in top US universities don't know this either.