Leanのシステムの正しさはどうやって証明するの？　OSやCPUのバグも心配になる。

Leanが空気を読む賢さを学べば、忖度を覚えてしまうかもしれない。
早く芽を出せ柿の種、出さぬとハサミでちょん切るぞ、といって脅すと
言霊の力により、柿の種から芽が出てすくすくと育ち、柿の実ができて
それをみたサルが、。。。