反对繁琐哲学，反对形式主义。警惕无用的复杂度，要简化不要复杂化。同意马斯克的方式：先砍，证明砍多了再加回来。